退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有一元量词的无穷逻辑的局部正规形式定理
H. Jerome Keisler; Wafik Boulos Lotfallah;
机译:带一元量词的不定式逻辑的局部范式定理
机译:带有不定式谓词的一阶逻辑的插值定理
机译:具有不定关系符号的一阶逻辑的省略类型定理
机译:带一元计数量词的一阶逻辑的Hanf范式
机译:具有相关排序(FOLDS)的一阶逻辑的最终语言和最终语言的基本模型理论。
机译:SNOMED RT中临床概念的描述逻辑表达的范式。
机译:一阶公式的范式定理及其在盖夫曼分裂定理中的应用(逻辑与数学基础)
机译:走向域的永恒逻辑:过渡系统的abramsky逻辑.211软件工程
机译:通过应用值和规则来确定提议的逻辑定理,这些值和规则是根据布尔公式生成的三元组
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。